object App {
  def foo(z: Z) = z match {
    case _: B =>
    case _: C =>
  }
}
